export const SAVE_MACHINE_LISTS = "SAVE_MACHINE_LISTS";
export const SAVE_NAVIGATION_INDEX = "SAVE_NAVIGATION_INDEX";
export const SAVE_MACHINE_WHOLE_TIME_STATUS = "SAVE_MACHINE_WHOLE_TIME_STATUS";
export const SAVE_MACHINE_WORK_STATUS = "SAVE_MACHINE_WORK_STATUS";
